1. Assertion-Based Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدار‌های مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)

رده :
E-Book
,

2. Assertion-based design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
E-BOOK

3. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
TK7874
.
75
F68
2004

4. Formal verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)

رده :
TK7867

5. Formal verification : an essential toolkit for modern VLSI design

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(

رده :
TK
7867
.
S46F6

6. Hardware verification with SystemVerilog

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object

7. Principles of verifiable RTL design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design

رده :
TK7874
.
75
.
B47
2001

8. Principles of verifiable RTL design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design

رده :
E-BOOK

9. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers

رده :
TK
7874
.
75
.
B47
2001

10. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers

رده :
TK
7874
.
75
.
B47

11. Step-by-step functional verification with SystemVerilog and OVM /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Integrated circuits-- Verification,Verilog (Computer hardware description language)

12. System specification & design languages :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.

رده :
TK7885
.
7
E358
2003

13. System verilog for verification :a guide to learning the testbench language features

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : ، Verilog )Computer hardware description language(,Verification ، Integrated circuits

رده :
TK
7885
.
7
.
S67

14. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.

رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006

15. SystemVerilog assertions and functional coverage

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh

رده :
E-BOOK

16. SystemVerilog assertions and functional coverage :guide to language, methodology and applications

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures

رده :
TK7885
.
7

17. SystemVerilog for verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification

رده :
TK7885
.
7
.
S67
2006

18. SystemVerilog for verification

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification

رده :
E-BOOK

19. Systemverilog assertions and functional coverage: guide to language, methodology and applications

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification

رده :
TK
7885
.
7
.
M4
2014

20. Systemverilog for verification :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification

رده :
E-BOOK